Programming language syntax - PDFSEARCH.IO - Document Search Engine

Programming language syntax
Results: 492

#	Item
331	Designing a trustworthy, extensible proof checker for formal systems verification Jared Davis Department of Computer Science, The University of Texas at Austin Introduction The core proof checker Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2010-11-04 22:53:57 Mathematical logic Formal methods Logical syntax Logical truth ACL2 Automated theorem proving Mathematical proof Theorem Automated proof checking Logic Mathematics Lisp programming language
332	1 Conditional inclusion of code From previous examples the %<guard>. . . % syntax should be a little familiar. This example demonstrates conditional extraction of such elements in Add to Reading List Source URL: shadow.ind.ntou.edu.tw Language: English* - Date: 2007-08-06 09:09:00 Procedural programming languages C Cross-platform software D C++ C programming language Computing Software engineering Computer programming
333	1 Conditional inclusion of code From previous examples the %<guard>. . . % syntax should be a little familiar. This example demonstrates conditional extraction of such elements in Add to Reading List Source URL: mirror.klaus-uwe.me Language: English* - Date: 2007-08-06 08:09:00 Procedural programming languages C Cross-platform software D C++ C programming language Computing Software engineering Computer programming
334	1 Conditional inclusion of code From previous examples the %<guard>. . . % syntax should be a little familiar. This example demonstrates conditional extraction of such elements in Add to Reading List Source URL: mirror.aut.ac.nz Language: English* - Date: 2007-08-06 08:09:00 Procedural programming languages C Cross-platform software D C++ C programming language Computing Software engineering Computer programming
335	1 Conditional inclusion of code From previous examples the %<guard>. . . % syntax should be a little familiar. This example demonstrates conditional extraction of such elements in Add to Reading List Source URL: ctan.math.utah.edu Language: English* - Date: 2007-08-06 09:09:00 Procedural programming languages C Cross-platform software D C++ C programming language Computing Software engineering Computer programming
336	1 Conditional inclusion of code From previous examples the %<guard>. . . % syntax should be a little familiar. This example demonstrates conditional extraction of such elements in Add to Reading List Source URL: mirrors.fe.up.pt Language: English* - Date: 2007-08-06 09:09:00 Procedural programming languages C Cross-platform software D C++ C programming language Computing Software engineering Computer programming
337	1 Conditional inclusion of code From previous examples the %<guard>. . . % syntax should be a little familiar. This example demonstrates conditional extraction of such elements in Add to Reading List Source URL: mirrors.hust.edu.cn Language: English* - Date: 2007-08-06 09:09:00 Procedural programming languages C Cross-platform software D C++ C programming language Computing Software engineering Computer programming
338	1 Conditional inclusion of code From previous examples the %<guard>. . . % syntax should be a little familiar. This example demonstrates conditional extraction of such elements in Add to Reading List Source URL: mirror.its.dal.ca Language: English* - Date: 2007-08-06 08:09:00 Procedural programming languages C Cross-platform software D C++ C programming language Computing Software engineering Computer programming
339	1 Conditional inclusion of code From previous examples the %<guard>. . . % syntax should be a little familiar. This example demonstrates conditional extraction of such elements in Add to Reading List Source URL: get-software.net Language: English* - Date: 2007-08-06 09:09:00 Procedural programming languages C Cross-platform software D C++ C programming language Computing Software engineering Computer programming
340	1 Conditional inclusion of code From previous examples the %<guard>. . . % syntax should be a little familiar. This example demonstrates conditional extraction of such elements in Add to Reading List Source URL: ftp.heanet.ie Language: English* - Date: 2007-08-06 09:09:00 Procedural programming languages C Cross-platform software D C++ C programming language Computing Software engineering Computer programming

UPDATE